what does a solenoid valve do